Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
111	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics
112	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:58:42 Parsing Adjoint functors Computer programming Computing Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Functional programming Formal languages Software engineering
113	INJECTIVES Contents 1. Introduction 2. Baer’s argument for modules 3. G-modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Category theory Injective module Injective object Sheaf Grothendieck topology Injective hull Adjoint functors Module Gluing axiom Abstract algebra Homological algebra Algebra
114	THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS ´ FINNUR LARUSSON Abstract. We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure. Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2007-04-22 23:25:56 Category theory Mathematics Model category Fibration Weak equivalence Homotopy category Adjoint functors Simplicial set Equivalence relation Abstract algebra Homotopy theory Topology
115	Evolution of Binding Sites Thomas D. Schneider, Ph.D. Frederick National Laboratory for Cancer Research Gene Regulation and Chromosome Biology Laboratory Molecular Information Theory Group Add to Reading List Source URL: schneider.ncifcrf.gov Language: English - Date: 2012-03-19 07:51:37 Gene expression RNA RNA polymerase Information theory Monad Genetics Chemistry Biology Enzymes Adjoint functors
116	CATEGORIES Contents[removed]. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:13:49 Functors Representable functor Initial and terminal objects Yoneda lemma Universal property Limit Adjoint functors Natural transformation Sheaf Category theory Abstract algebra Mathematics
117	DERIVED CATEGORIES OF SCHEMES Contents 1. Introduction 2. Conventions 3. Derived category of quasi-coherent modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:19 Algebra Sheaf theory Sheaf Coherent sheaf Derived functor Direct image functor Derived category Flat morphism Adjoint functors Abstract algebra Category theory Homological algebra
118	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
119	QUOT AND HILBERT SPACES Contents 1. Introduction 2. Conventions 3. The Hom functor Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:51 Functors Algebraic geometry Sheaf theory Scheme theory Grothendieck topology Hom functor Algebraic space Adjoint functors Natural transformation Abstract algebra Category theory Algebra
120	Towards efficient implementations of effect handlers – Extended Abstract – Steven Keuchel Tom Schrijvers Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional programming Control flow Adjoint functors Continuations Programming paradigms Monad Delimited continuation Exception handling Type class Software engineering Computing Computer programming

UPDATE